Theory-driven Logical Scaling: Conceptual Information Systems meet Description Logics
نویسندگان
چکیده
منابع مشابه
Understanding Ontologies in Scholarly Discipline
Description logics are valuable for modeling the conceptual structures of scientific and engineering research because the underlying ontologies generally have a taxonomic core. Such structures have natural representations through semantic networks that mirror the underlying description logic graph-theoretic structures and are more comprehensible than logical notations to those developing and st...
متن کاملAttributive Description Formalisms
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information...
متن کاملAttributive Description Formalisms : : : and the Rest of the World Published
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artiicial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information ...
متن کاملConceptual Knowledge Markup Language: The central core
The conceptual knowledge framework OML/CKML needs several components for a successful design (Kent, 1999). One important, but previously overlooked, component is the central core of OML/CKML. The central core provides a theoretical link between the ontological specification in OML and the conceptual knowledge representation in CKML. This paper discusses the formal semantics and syntactic styles...
متن کاملTemporal ER Modelling with Description Logics: A Preliminary Report
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information. Various temporally enhanced Entity-Relationship (ER) models have been proposed that are intended to model the temporal aspects of database conceptual schemas. This work gives a logical formalisation of the various properties that characterise and extend different temporal ER mo...
متن کامل